Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🎯Type Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
⚖️Inference Rules
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
functional programming
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·17h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Double categories for adaptive quantum computation
arxiv.org·18h
🎯Type Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Magisterium
isaacbowen.com·4h·
Discuss: Hacker News
💫Effect Systems
Flag this post
Fitting KNN: From Overfit to Underfit and Everything Between
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
New: Online Master’s Program in Applied Ontology
dailynous.com·1d
🏷️Attribute Grammars
Flag this post
Rearchitecting Vector Search: A Migration from MongoDB Atlas to Qdrant
pub.towardsai.net·15h
🚂Cranelift Backend
Flag this post
College Football Playoff 2025 projections: The most likely bracket with Week 10 underway
nytimes.com·10h
🔢Binary Formats
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
λLambda Calculus
Flag this post
Oops, My UUIDs Collided
alexsci.com·4h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·18h
🔍ML Language
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·8h·
🗂️Type Indexing
Flag this post